assertion checker

См. также в других словарях:

• Checker Book Publishing Group — Type Private Industry Publishers of Comics Reprints Founded 2000 by Mark Thompson, Ben Rangel Paul Dubuc …   Wikipedia

• Fact checker — A fact checker is the person who checks factual assertions in non fictional text, usually intended for publication in a periodical, to determine their veracity and correctness. The job requires general knowledge, but more important it requires… …   Wikipedia

• Java Modeling Language — The Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using . There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker… …   Wikipedia

• блок контроля утверждений — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN assertion checker …   Справочник технического переводчика

• верификатор условий — Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [Домарев В.В. Безопасность… …   Справочник технического переводчика

• Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

• Sonny Boy Williamson II — Infobox Musical artist Name = Sonny Boy Williamson II Img capt = Background = solo singer Born = December 5 1899 or March 11 1908 Died = May 25 1965 Origin = Tallahatchie County, Mississippi USA flagicon|US Instrument = Vocals, Harmonica Genre =… …   Wikipedia

• John McCain presidential campaign, 2008 — John McCain for President 2008 Campaign U.S. presidential election, 2008 Candidate John McCain (President) U.S. Senator 1987–Present …   Wikipedia

• JML — Java Modeling Language Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants.… …   Wikipédia en Français

• Java Modeling Language — Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants. Les spécifications sont… …   Wikipédia en Français

• Gunsmith — A gunsmith is a person who repairs, modifies, designs, or builds firearms to factory or customer specifications, using hand tools and machine shop tools (such as lathes, milling machines, and grinders).Gunsmiths may be employed in: *factories by… …   Wikipedia